Test Case Design Of Security Threats Through State Machine OCL

Software testing is one activity for Quality Assurance (SQA). One way to test through Black box cases at design level. Since UML a de-facto language and of the most used now day. Therefore, there need black using behavioral diagrams. Object Constraint Language (OCL) formal write constraints on diagrams as it unambiguous. Although against robustness have been designed OCL expressions but no yet security specific authentication, access control availability. Specification Control availability OCL. An experiment performed with hypothesis ‘if Security Specific Authentication, Access Availability specified in state diagram then Test can be designed’. We specifiedsecurity same are model diagram. Furthermore, mutation expressions. Then ECP done extracted mutants. technique Equivalence Class Partitioning. Hypothesis results shows that This thesis Testing